1. Foundations of software science and computation structures :
Author: Christel Baier, Ugo Dal Lago (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software, Congresses.,Software engineering, Congresses.,Artificial intelligence.,Computer programming-- software development.,Computer software.,Computers-- Data Processing.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Discrete mathematics.,Information technology: general issues.,Software engineering.,Software Engineering.,Systems analysis & design.
Classification :
QA76
.
751
.
F67
2018eb
2. Programming languages and systems :
Author: Amal Ahmed (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming, Congresses.,Programming languages (Electronic computers), Congresses.,Computer programming.,Computer science.,Computers / Programming.,Programming languages (Electronic computers)
Classification :
QA76
.
6
3. Rewriting techniques and applications :
Author: N. Dershowitz, ed.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer algorithms-- Congresses.,Computer programming-- Congresses.,Rewriting systems (Computer science)-- Congresses.
Classification :
QA267
.
I555
1989
4. Typed Lambda Calculi and Applications :
Author: edited by Mariangiola Dezani-Ciancaglini, Gordon Plotkin.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Lambda calculus -- Congresses.,Logic design.
Classification :
QA9
.
5
E358
1995
